TSTP Solution File: ALG264^3 by Refute---2015